CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Continue readingThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Continue readingThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Continue readingThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Continue readingThis volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Continue readingThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue readingDedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Continue readingThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Continue readingThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Continue readingPrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Continue reading